<html>
<head><meta charset="utf-8"><title>things to do · wg-traits · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/index.html">wg-traits</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html">things to do</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="197808332"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/197808332" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#197808332">(May 16 2020 at 18:27)</a>:</h4>
<p><span class="user-mention" data-user-id="218805">@Mark Drobnak</span> <span class="user-mention" data-user-id="283967">@Zahari Dichev</span>  or anyone, I'll put a few things that you might interested in working on here</p>



<a name="197808341"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/197808341" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#197808341">(May 16 2020 at 18:27)</a>:</h4>
<p>On mobile right now, so not going to be fully written out for now</p>



<a name="197808381"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/197808381" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#197808381">(May 16 2020 at 18:28)</a>:</h4>
<p>But I can at least iterate a few things</p>



<a name="197808418"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/197808418" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#197808418">(May 16 2020 at 18:29)</a>:</h4>
<p>So <a href="https://github.com/rust-lang/chalk/issues/313">https://github.com/rust-lang/chalk/issues/313</a> is still open. It's somewhat explanatory on the issue, but I can explain more later if there are questions</p>



<a name="197808477"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/197808477" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#197808477">(May 16 2020 at 18:30)</a>:</h4>
<p><a href="https://github.com/rust-lang/chalk/issues/429">https://github.com/rust-lang/chalk/issues/429</a> looks like a recursive solver issue, but also looks like it interacts with associated types</p>



<a name="197808483"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/197808483" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#197808483">(May 16 2020 at 18:30)</a>:</h4>
<p>(Side thought, maybe we should have an issue tag for slg, recursive, solve, etc.)</p>



<a name="197808492"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/197808492" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#197808492">(May 16 2020 at 18:31)</a>:</h4>
<p>There is this <a href="https://github.com/rust-lang/chalk/issues/234">https://github.com/rust-lang/chalk/issues/234</a></p>



<a name="197808497"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/197808497" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#197808497">(May 16 2020 at 18:31)</a>:</h4>
<p>Which is firmly under the "hard" category</p>



<a name="197808536"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/197808536" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#197808536">(May 16 2020 at 18:32)</a>:</h4>
<p>I have a couple branches where I attempted to fix this</p>



<a name="197808542"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/197808542" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#197808542">(May 16 2020 at 18:32)</a>:</h4>
<p>But when we talked about it last with <span class="user-mention" data-user-id="116009">@nikomatsakis</span>, we discussed possibly approaching this using a concept called equivalent edges</p>



<a name="197808551"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/197808551" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#197808551">(May 16 2020 at 18:33)</a>:</h4>
<p>But I think the idea is also somewhat related to the semantic to syntactic equality</p>



<a name="197808556"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/197808556" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#197808556">(May 16 2020 at 18:33)</a>:</h4>
<p>And treating the projection equal type as an inference variable of sorts</p>



<a name="197808598"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/197808598" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#197808598">(May 16 2020 at 18:34)</a>:</h4>
<p>This PR by <span class="user-mention" data-user-id="129457">@Florian Diebold</span> needs to be dug into a little <a href="https://github.com/rust-lang/chalk/issues/234">https://github.com/rust-lang/chalk/issues/234</a></p>



<a name="197808602"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/197808602" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#197808602">(May 16 2020 at 18:34)</a>:</h4>
<p>Sorry. <a href="https://github.com/rust-lang/chalk/pull/331">https://github.com/rust-lang/chalk/pull/331</a></p>



<a name="197808609"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/197808609" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#197808609">(May 16 2020 at 18:35)</a>:</h4>
<p>In particular, I think there might be somewhat wrong with MayInvalidate</p>



<a name="197808616"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/197808616" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#197808616">(May 16 2020 at 18:35)</a>:</h4>
<p>(Where the evidence for that is even with the change, a separate issue pops up)</p>



<a name="197808660"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/197808660" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#197808660">(May 16 2020 at 18:36)</a>:</h4>
<p><span class="user-mention" data-user-id="125131">@detrumi</span> seems busy or stuck on <a href="https://github.com/rust-lang/chalk/pull/402">https://github.com/rust-lang/chalk/pull/402</a></p>



<a name="197808664"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/197808664" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#197808664">(May 16 2020 at 18:36)</a>:</h4>
<p>But it would be cool to figure out what needs to be done there and get it finished</p>



<a name="197808721"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/197808721" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#197808721">(May 16 2020 at 18:38)</a>:</h4>
<p>It would be nice to get this finished <a href="https://github.com/rust-lang/chalk/pull/407">https://github.com/rust-lang/chalk/pull/407</a></p>



<a name="197808758"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/197808758" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#197808758">(May 16 2020 at 18:39)</a>:</h4>
<p>With this <a href="https://github.com/rust-lang/chalk/pull/409">https://github.com/rust-lang/chalk/pull/409</a> the next thing to do is just write docs so we know how to use it</p>



<a name="197808764"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/197808764" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#197808764">(May 16 2020 at 18:39)</a>:</h4>
<p>(Also are the zulip thread for other relevant discussion)</p>



<a name="197808820"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/197808820" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#197808820">(May 16 2020 at 18:41)</a>:</h4>
<p>Anyone should feel free to redo the lifetime outlives PR based on <span class="user-mention" data-user-id="116009">@nikomatsakis</span>'s branch since it might be a few more days before I can get around to it</p>



<a name="197808832"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/197808832" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#197808832">(May 16 2020 at 18:41)</a>:</h4>
<p>While not as "fun",  there is <a href="https://github.com/rust-lang/chalk/issues/398">https://github.com/rust-lang/chalk/issues/398</a></p>



<a name="197808881"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/197808881" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#197808881">(May 16 2020 at 18:42)</a>:</h4>
<p>Then there's <a href="https://github.com/rust-lang/chalk/issues/327">https://github.com/rust-lang/chalk/issues/327</a></p>



<a name="197808886"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/197808886" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#197808886">(May 16 2020 at 18:42)</a>:</h4>
<p>Which is somewhat blocked on design. But maybe we just mimic what rustc does</p>



<a name="197808947"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/197808947" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#197808947">(May 16 2020 at 18:44)</a>:</h4>
<p>Okay, let's start with that</p>



<a name="197808975"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/197808975" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Mark Drobnak <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#197808975">(May 16 2020 at 18:45)</a>:</h4>
<p>Thanks, this is great!</p>



<a name="197811215"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/197811215" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Zahari Dichev <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#197811215">(May 16 2020 at 19:38)</a>:</h4>
<p>the hard one seems quite tempting but .. i think it will be a bit too hard for me</p>



<a name="197811360"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/197811360" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#197811360">(May 16 2020 at 19:40)</a>:</h4>
<p>The thing that makes it hard it mostly just that it's a somewhat of a design problem</p>



<a name="198071007"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/198071007" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Bartłomiej Kuras <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#198071007">(May 19 2020 at 14:09)</a>:</h4>
<p>Hi, I am wondering if any of those are like "good first issue"? I think I am comfortable with Rust, so I think I will catch up rather quickly, and I read a little about chalk so I have an idea how it works, but I never went into this deeper. I am debating on <a href="https://github.com/rust-lang/chalk/issues/313">https://github.com/rust-lang/chalk/issues/313</a>  or maybe <a href="https://github.com/rust-lang/chalk/pull/409">https://github.com/rust-lang/chalk/pull/409</a> (as writing docs might be a way to understand internals).</p>



<a name="198091892"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/198091892" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#198091892">(May 19 2020 at 16:30)</a>:</h4>
<p><span class="user-mention" data-user-id="208882">@Bartłomiej Kuras</span>  Hmm so the docs for tracing wouldn't be bad</p>



<a name="198092018"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/198092018" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#198092018">(May 19 2020 at 16:31)</a>:</h4>
<p><a href="https://github.com/rust-lang/chalk/pull/407">https://github.com/rust-lang/chalk/pull/407</a> is also fairly easy (and doesn't really require deep knowledge about Chalk)</p>



<a name="198093440"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/198093440" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Bartłomiej Kuras <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#198093440">(May 19 2020 at 16:41)</a>:</h4>
<p>I will take <a href="https://github.com/rust-lang/chalk/pull/407">https://github.com/rust-lang/chalk/pull/407</a> for now as you propose it - I will go through issue at later evening. Thanks!</p>



<a name="198093808"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/198093808" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#198093808">(May 19 2020 at 16:43)</a>:</h4>
<p>Let me know if  you have any questions :)</p>



<a name="198093948"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/198093948" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Bartłomiej Kuras <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#198093948">(May 19 2020 at 16:44)</a>:</h4>
<p>Sure - I will take a look in llike 2-3 hours (when I would put my kids to beds) so I would raise questions when I would go through whatever is there ;)</p>



<a name="222501940"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/222501940" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#222501940">(Jan 12 2021 at 22:08)</a>:</h4>
<p><span class="user-mention" data-user-id="116266">@Santiago Pastorino</span> are you interested in helping out on the rustc side or the Chalk side?</p>



<a name="222501983"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/222501983" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#222501983">(Jan 12 2021 at 22:09)</a>:</h4>
<p>actually, let's have that discussion in a different topic :) If you want to help out, I want to help get you pointed in a direction :)</p>



<a name="222501992"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/222501992" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#222501992">(Jan 12 2021 at 22:09)</a>:</h4>
<p>I guess as a start in whatever needs to be done</p>



<a name="222502111"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/222502111" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#222502111">(Jan 12 2021 at 22:10)</a>:</h4>
<p>Hmm, so you might be potentially interested in/a good fit to do some things related to the <code>rustc_type_ir</code> crate</p>



<a name="222502139"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/222502139" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#222502139">(Jan 12 2021 at 22:10)</a>:</h4>
<p>In particular I think the problem we were about to run into is <code>Encodable</code>/<code>TyEncodable</code></p>



<a name="222502147"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/222502147" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#222502147">(Jan 12 2021 at 22:11)</a>:</h4>
<p>And coherence issues</p>



<a name="222502194"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/222502194" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#222502194">(Jan 12 2021 at 22:11)</a>:</h4>
<p>Let me try to find the relevant comment by <span class="user-mention" data-user-id="116118">@Matthew Jasper</span></p>



<a name="222502662"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/222502662" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#222502662">(Jan 12 2021 at 22:14)</a>:</h4>
<p>I can't find it :(</p>



<a name="222502673"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/222502673" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#222502673">(Jan 12 2021 at 22:14)</a>:</h4>
<p>Maybe if was on zulip</p>



<a name="222502675"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/222502675" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#222502675">(Jan 12 2021 at 22:14)</a>:</h4>
<p>one sec</p>



<a name="222502762"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/222502762" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#222502762">(Jan 12 2021 at 22:15)</a>:</h4>
<p>yes: <a href="#narrow/stream/144729-wg-traits/topic/type.20library.20discussion/near/219906490">https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/type.20library.20discussion/near/219906490</a></p>



<a name="222502959"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/222502959" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#222502959">(Jan 12 2021 at 22:16)</a>:</h4>
<p>oops s/TyEncodable/TyDecodable</p>



<a name="222503013"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/222503013" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#222503013">(Jan 12 2021 at 22:16)</a>:</h4>
<p>wait both</p>



<a name="222503285"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/222503285" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#222503285">(Jan 12 2021 at 22:17)</a>:</h4>
<p>ok, what needs to be done with that?</p>



<a name="222503301"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/222503301" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#222503301">(Jan 12 2021 at 22:17)</a>:</h4>
<p>I can probably check a bit better tomorrow</p>



<a name="222503318"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/222503318" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#222503318">(Jan 12 2021 at 22:17)</a>:</h4>
<p>I'm leaving right now</p>



<a name="222504434"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/222504434" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#222504434">(Jan 12 2021 at 22:24)</a>:</h4>
<p>Yeah, I don't quite know</p>



<a name="222504587"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/222504587" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#222504587">(Jan 12 2021 at 22:25)</a>:</h4>
<p>But, essentially, there are million and a half types in <code>rustc_middle</code> that derive <code>TyEncodable</code> and/or <code>TyDecodable</code> that will need to be moved to <code>rustc_type_ir</code></p>



<a name="222504651"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/222504651" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#222504651">(Jan 12 2021 at 22:26)</a>:</h4>
<p>And the question is <em>how</em> do we handle this</p>



<a name="222504754"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/222504754" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#222504754">(Jan 12 2021 at 22:26)</a>:</h4>
<p>I think it's possible that at this point we have to introduce the <code>Interner</code> in <code>rustc_type_ir</code> and also split out a <code>tcx.interner()</code> from <code>tcx</code></p>



<a name="223161325"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/223161325" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#223161325">(Jan 18 2021 at 20:30)</a>:</h4>
<p>By the way, <a href="https://github.com/rust-lang/rust/issues/79951">#79951</a> is still waiting on review. Fortunately it didn't get as many conflicts as I was expecting, but it would be great if someone had time to review it. Current reviewer is <span class="user-mention silent" data-user-id="116009">nikomatsakis</span>, but maybe they are busy and I should try to find another reviewer?</p>



<a name="223163151"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/223163151" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#223163151">(Jan 18 2021 at 20:56)</a>:</h4>
<p>Yeah Niko definitely doesn't have a lot of time. Maybe post in t-compiler and see if anyone wants to take over the review. It's pretty straightforward.</p>



<a name="223163387"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/223163387" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#223163387">(Jan 18 2021 at 21:00)</a>:</h4>
<p>Right, it's just moving things around</p>



<a name="223559615"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/223559615" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#223559615">(Jan 21 2021 at 19:35)</a>:</h4>
<p>hey, sorry that I never got back to you guys</p>



<a name="223559633"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/223559633" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#223559633">(Jan 21 2021 at 19:35)</a>:</h4>
<p>I'm currently on vacations for a couple of weeks</p>



<a name="223559683"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/223559683" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#223559683">(Jan 21 2021 at 19:36)</a>:</h4>
<p>once I'm back I'm going to check this and what else there's to do</p>



<a name="223559694"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/223559694" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#223559694">(Jan 21 2021 at 19:36)</a>:</h4>
<p>cc <span class="user-mention" data-user-id="232957">@Jack Huey</span></p>



<a name="223559877"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/223559877" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#223559877">(Jan 21 2021 at 19:37)</a>:</h4>
<p>No worries <span class="user-mention" data-user-id="116266">@Santiago Pastorino</span></p>



<a name="223559998"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/223559998" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#223559998">(Jan 21 2021 at 19:38)</a>:</h4>
<p>I think what I said about (re. <code>TyEncodable</code> etc.) still holds and probably won't change (anyone someone else picks it up)</p>



<a name="223560047"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/223560047" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#223560047">(Jan 21 2021 at 19:38)</a>:</h4>
<p>But enjoy your vacation and we can discuss when you're back</p>



<a name="223806161"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/223806161" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Zahari Dichev <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#223806161">(Jan 24 2021 at 10:00)</a>:</h4>
<p><span class="user-mention" data-user-id="232957">@Jack Huey</span> I am interested in picking that one up. And anything else that helps move things along.  Would be great to get some more info on the context whenever possible</p>



<a name="223824389"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/223824389" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#223824389">(Jan 24 2021 at 17:18)</a>:</h4>
<p><span class="user-mention" data-user-id="283967">@Zahari Dichev</span> hmm, so will you be around any time the upcoming week? I won't be around much this weekend for sync chat, but can schedule something this week and we can discuss</p>



<a name="223824395"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/223824395" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#223824395">(Jan 24 2021 at 17:18)</a>:</h4>
<p>I will try to write up some mentoring notes here; but, this is also somewhat in the "I'm not quite sure what needs to do be done here" category</p>



<a name="223824547"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/223824547" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#223824547">(Jan 24 2021 at 17:22)</a>:</h4>
<p>In short: We need to move things into <code>rustc_type_ir</code>. A lot of types impl <code>Encodable</code>/<code>Decodable</code>, some through the <code>TyEncodable</code>/<code>TyDecodable</code> derive. There are two problems here: 1) <code>Encodable</code>/<code>Decodable</code> needs to be moved to or upstream of <code>rustc_type_ir</code> 2) <code>TyEncodable</code>/<code>TyDecodable</code> needs <code>TyCtxt</code> which is in <code>rustc_middle</code>, so we need to figure out a way around the coherence here. (It might mean defining an "<code>Interner</code>" trait that we split out of <code>TyCtxt</code></p>



<a name="223824594"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/223824594" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#223824594">(Jan 24 2021 at 17:23)</a>:</h4>
<p>I imagine in <em>some</em> cases we could just <code>impl</code> from <code>rustc_middle</code> on types from <code>rustc_type_ir</code>, but doesn't work with private fields and such.</p>



<a name="223824663"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/223824663" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#223824663">(Jan 24 2021 at 17:24)</a>:</h4>
<p>(FWIW, <code>{En,De}codable</code> are defined in <code>rustc_serialize</code>)</p>



<a name="223824694"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/223824694" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#223824694">(Jan 24 2021 at 17:25)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/things.20to.20do/near/223824594">said</a>:</p>
<blockquote>
<p>I imagine in <em>some</em> cases we could just <code>impl</code> from <code>rustc_middle</code> on types from <code>rustc_type_ir</code>, but doesn't work with private fields and such.</p>
</blockquote>
<p>I guess if something may need to be encoded, it shouldn't be private, right?</p>



<a name="223825120"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/223825120" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#223825120">(Jan 24 2021 at 17:34)</a>:</h4>
<p><span class="user-mention silent" data-user-id="255061">Léo Lanteri Thauvin</span> <a href="#narrow/stream/144729-wg-traits/topic/things.20to.20do/near/223824694">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/things.20to.20do/near/223824594">said</a>:</p>
<blockquote>
<p>I imagine in <em>some</em> cases we could just <code>impl</code> from <code>rustc_middle</code> on types from <code>rustc_type_ir</code>, but doesn't work with private fields and such.</p>
</blockquote>
<p>I guess if something may need to be encoded, it shouldn't be private, right?</p>
</blockquote>
<p>Not necessarily. Like in my binder refactor branch, the bound vars in <code>Binder</code> are private. But can still be accessed through a function</p>



<a name="223825232"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/223825232" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#223825232">(Jan 24 2021 at 17:36)</a>:</h4>
<p>Right. What I meant was, if it can be accessed through a function, <code>impl</code> in <code>rustc_middle</code> is feasible</p>



<a name="223825264"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/223825264" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#223825264">(Jan 24 2021 at 17:37)</a>:</h4>
<p>Though writing all the <code>impl</code>s might be very tedious, even with a macro</p>



<a name="223826918"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/223826918" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#223826918">(Jan 24 2021 at 18:13)</a>:</h4>
<p>Yeah, that's about right</p>



<a name="223827673"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/223827673" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Zahari Dichev <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#223827673">(Jan 24 2021 at 18:30)</a>:</h4>
<p><span class="user-mention" data-user-id="232957">@Jack Huey</span>  that is quite useful context. In any case, some sync time will certainly not hurt.  I am available all week. It is only the time zone diff that we need to take into account. Is Wed fine for you ?</p>



<a name="223827698"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/223827698" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Zahari Dichev <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#223827698">(Jan 24 2021 at 18:31)</a>:</h4>
<p>also is the recording of this meeting available somewhere ? <a href="#narrow/stream/144729-wg-traits/topic/type.20library.20discussion/near/215132957">https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/type.20library.20discussion/near/215132957</a></p>



<a name="223827821"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/223827821" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#223827821">(Jan 24 2021 at 18:33)</a>:</h4>
<p><span class="user-mention silent" data-user-id="283967">Zahari Dichev</span> <a href="#narrow/stream/144729-wg-traits/topic/things.20to.20do/near/223827673">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span>  that is quite useful context. In any case, some sync time will certainly not hurt.  I am available all week. It is only the time zone diff that we need to take into account. Is Wed fine for you ?</p>
</blockquote>
<p>Wednesday is difficult for me. Are you available Tuesday before or after the meeting?</p>



<a name="223828001"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/223828001" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#223828001">(Jan 24 2021 at 18:37)</a>:</h4>
<p><span class="user-mention silent" data-user-id="283967">Zahari Dichev</span> <a href="#narrow/stream/144729-wg-traits/topic/things.20to.20do/near/223827698">said</a>:</p>
<blockquote>
<p>also is the recording of this meeting available somewhere ? <a href="#narrow/stream/144729-wg-traits/topic/type.20library.20discussion/near/215132957">https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/type.20library.20discussion/near/215132957</a></p>
</blockquote>
<p>not sure, might be on youtube. If not, <span class="user-mention" data-user-id="116009">@nikomatsakis</span> might have a recording</p>



<a name="223828596"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/223828596" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Zahari Dichev <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#223828596">(Jan 24 2021 at 18:49)</a>:</h4>
<p>would half an hour before the meeting work ?</p>



<a name="223833278"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/223833278" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#223833278">(Jan 24 2021 at 20:15)</a>:</h4>
<p>Yes!</p>



<a name="224005765"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/224005765" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#224005765">(Jan 26 2021 at 07:47)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/things.20to.20do/near/223828001">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="283967">Zahari Dichev</span> <a href="#narrow/stream/144729-wg-traits/topic/things.20to.20do/near/223827698">said</a>:</p>
<blockquote>
<p>also is the recording of this meeting available somewhere ? <a href="#narrow/stream/144729-wg-traits/topic/type.20library.20discussion/near/215132957">https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/type.20library.20discussion/near/215132957</a></p>
</blockquote>
<p>not sure, might be on youtube. If not, <span class="user-mention silent" data-user-id="116009">nikomatsakis</span> might have a recording</p>
</blockquote>
<p>That's <a href="https://www.youtube.com/watch?v=MHp_otI28UU">this</a> video</p>
<div class="youtube-video message_inline_image"><a data-id="MHp_otI28UU" href="https://www.youtube.com/watch?v=MHp_otI28UU"><img src="https://i.ytimg.com/vi/MHp_otI28UU/default.jpg"></a></div>



<a name="224018765"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/224018765" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Zahari Dichev <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#224018765">(Jan 26 2021 at 10:12)</a>:</h4>
<p>thanks a bunch</p>



<a name="224081017"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/224081017" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#224081017">(Jan 26 2021 at 18:20)</a>:</h4>
<p><span class="user-mention silent" data-user-id="283967">Zahari Dichev</span> <a href="#narrow/stream/144729-wg-traits/topic/things.20to.20do/near/223828596">said</a>:</p>
<blockquote>
<p>would half an hour before the meeting work ?</p>
</blockquote>
<p>I'm still available today if you are. Do you want to do a zoom meeting? (I will PM a link to anyone interested in joining)</p>



<a name="224097539"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/224097539" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#224097539">(Jan 26 2021 at 20:24)</a>:</h4>
<p>Note that Zoom is having issues at the moment</p>



<a name="224097626"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/224097626" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Zahari Dichev <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#224097626">(Jan 26 2021 at 20:25)</a>:</h4>
<p>Hi there, yes I am! Will be here in 5 minutes/</p>



<a name="224097787"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/224097787" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Zahari Dichev <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#224097787">(Jan 26 2021 at 20:26)</a>:</h4>
<p><span class="user-mention" data-user-id="125131">@detrumi</span> issued like.. it does not work atm ?</p>



<a name="224097913"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/224097913" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#224097913">(Jan 26 2021 at 20:27)</a>:</h4>
<p>It seems to be working fine for me</p>



<a name="224097921"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/224097921" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#224097921">(Jan 26 2021 at 20:27)</a>:</h4>
<p>But we'll see</p>



<a name="224097924"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/224097924" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#224097924">(Jan 26 2021 at 20:27)</a>:</h4>
<p>Possibly, <a href="https://status.zoom.us/">https://status.zoom.us/</a></p>



<a name="224098342"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/224098342" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Zahari Dichev <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#224098342">(Jan 26 2021 at 20:30)</a>:</h4>
<p>alright I am here</p>



<a name="224098378"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/224098378" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#224098378">(Jan 26 2021 at 20:30)</a>:</h4>
<p><span class="user-mention" data-user-id="125131">@detrumi</span> are you joining?</p>



<a name="224098416"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/224098416" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#224098416">(Jan 26 2021 at 20:30)</a>:</h4>
<p>Yes!</p>



<a name="224873798"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/224873798" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#224873798">(Feb 02 2021 at 13:56)</a>:</h4>
<p><span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span>, I'm back, I see that <span class="user-mention" data-user-id="283967">@Zahari Dichev</span> picked the issue up, <span class="user-mention" data-user-id="232957">@Jack Huey</span> maybe I should just join next meeting again and see where I can be helpful</p>



<a name="224885953"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/224885953" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#224885953">(Feb 02 2021 at 15:25)</a>:</h4>
<p><span class="user-mention" data-user-id="116266">@Santiago Pastorino</span> I was thinking, its chalk side, but you could add substs to generators</p>



<a name="224885977"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/224885977" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#224885977">(Feb 02 2021 at 15:25)</a>:</h4>
<p>And then do the lowering on rustc side too</p>



<a name="224885990"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/224885990" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#224885990">(Feb 02 2021 at 15:25)</a>:</h4>
<p>Small, but needed</p>



<a name="224894641"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/224894641" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#224894641">(Feb 02 2021 at 16:20)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/things.20to.20do/near/224885953">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="116266">Santiago Pastorino</span> I was thinking, its chalk side, but you could add substs to generators</p>
</blockquote>
<p>sure, is there some information/issue or something about that somewhere?</p>



<a name="224894658"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/224894658" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#224894658">(Feb 02 2021 at 16:20)</a>:</h4>
<p>or where should I start?</p>



<a name="224894684"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/224894684" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#224894684">(Feb 02 2021 at 16:20)</a>:</h4>
<p>could probably do so tomorrow</p>



<a name="224910708"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/224910708" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#224910708">(Feb 02 2021 at 18:02)</a>:</h4>
<p>Well, I think I'm misremembering what was needed here:</p>



<a name="224910714"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/224910714" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#224910714">(Feb 02 2021 at 18:02)</a>:</h4>
<p>See <a href="https://github.com/rust-lang/chalk/issues/618">chalk#618</a></p>



<a name="224910770"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/224910770" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#224910770">(Feb 02 2021 at 18:02)</a>:</h4>
<p>Add rustc's representation of <code>Generator</code>/<code>GeneratorWitness</code>: <a href="https://github.com/rust-lang/rust/blob/b81f5811f96fe750ab28c15219d1b0dba6b1dc90/compiler/rustc_middle/src/ty/sty.rs#L172">https://github.com/rust-lang/rust/blob/b81f5811f96fe750ab28c15219d1b0dba6b1dc90/compiler/rustc_middle/src/ty/sty.rs#L172</a></p>



<a name="224910851"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/224910851" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#224910851">(Feb 02 2021 at 18:03)</a>:</h4>
<p>And Chalk's: <a href="https://github.com/rust-lang/chalk/blob/f693550bd63f5db57a1337a39a8f9a0994dd956a/chalk-ir/src/lib.rs#L764">https://github.com/rust-lang/chalk/blob/f693550bd63f5db57a1337a39a8f9a0994dd956a/chalk-ir/src/lib.rs#L764</a></p>



<a name="224910888"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/224910888" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#224910888">(Feb 02 2021 at 18:03)</a>:</h4>
<p>Maybe it was just <code>Movability</code> that I remember?</p>



<a name="224910961"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/224910961" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#224910961">(Feb 02 2021 at 18:04)</a>:</h4>
<p>Or that Chalk's <code>GeneratorWitness</code> has a <code>Substitution</code> that rustc's does not?</p>



<a name="224911066"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/224911066" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#224911066">(Feb 02 2021 at 18:05)</a>:</h4>
<p>I suppose that the ty list in rustc is replaced by the substitution in chalk</p>



<a name="224911507"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/224911507" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#224911507">(Feb 02 2021 at 18:08)</a>:</h4>
<p>I remember I was having problems doing the lowering</p>



<a name="224911564"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/things%20to%20do/near/224911564" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/things.20to.20do.html#224911564">(Feb 02 2021 at 18:09)</a>:</h4>
<p>So, maybe it's worth starting there and then adding/changing what you need from chalk to get it to work</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>